val check_recursive_bindings : Typedtree.value_binding list -> unit
